Local programming - PDFSEARCH.IO - Document Search Engine

Local programming
Results: 648

#	Item
311	doi:[removed]j.artint[removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-04-08 01:27:46 Constraint satisfaction Constraint graph Decomposition method Hidden transformation Constraint programming Computing Local consistency
312	The Satisability Constraint Gap Ian P. Gent Toby Walsh Department of AI Mechanized Reasoning Group University of Edinburgh IRST, Loc. Pante di Povo, Trento & Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 02:03:59 Mathematics Boolean algebra Boolean satisfiability problem Electronic design automation Local consistency Theoretical computer science Constraint programming Applied mathematics
313	Under consideration for publication in Theory and Practice of Logic Programming 1 arXiv:1007.4114v1 [cs.LO] 23 Jul 2010 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2010-12-17 06:32:10 Artificial intelligence Constraint logic programming Local consistency Constraint satisfaction problem Constraint satisfaction Structure Answer set programming Valuation Complexity of constraint satisfaction Constraint programming Software engineering Computer programming
314	USING CONSTRAINTS TO ACHIEVE STABILITY IN AUTOMATIC GRAPH LAYOUT ALGORITHMS Karl-Friedrich B ohringer Add to Reading List Source URL: www.ee.washington.edu Language: English - Date: 2003-07-05 01:09:00 Graph operations Network flow Local consistency Force-based algorithms Topological sorting Flow network Line graph Graph Decomposition method Graph theory Constraint programming Graph drawing
315	Constraints[removed]:372–406 DOI[removed]s10601[removed]y New algorithms for max restricted path consistency Thanasis Balafoutis · Anastasia Paparrizou · Kostas Stergiou · Toby Walsh Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-11-10 00:37:14 Computing Local consistency Constraint satisfaction problem Decomposition method Constraint satisfaction Mathematical optimization Backtracking Algorithm AC-3 algorithm Constraint programming Software engineering Computer programming
316	doi:[removed]j.artint[removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-07-07 02:40:42 Mathematics Local consistency Constraint satisfaction Vector space Constructible universe Mathematical optimization Constraint logic programming Decomposition method Constraint programming Algebra Software engineering
317	Multi-way Dataflow Constraint Propagation in Realtime Collaborative Systems Kai Lin, David Chen and Geoff Dromey Chengzheng Sun School of Information and Communication Technology Add to Reading List Source URL: www98.griffith.edu.au Language: English - Date: 2007-10-15 00:42:00 Computing Local consistency Constraint satisfaction Constraint graph Constraint Constraint logic programming Constraint optimization Constraint programming Software engineering Computer programming
318	Automatic Handling of Global Variables for Multi-threaded MPI Programs Gengbin Zheng, Stas Negara, Celso L. Mendes, Laxmikant V. Kal´e Department of Computer Science University of Illinois at Urbana-Champaign Urbana, IL Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2011-07-09 22:57:56 Parallel computing Threads Application programming interfaces Data types Message Passing Interface Global variable OpenMP Thread-local storage Thread Computing Computer programming Software engineering
319	POSIX/C Liaison Report Document: WG14 N1257 Date: [removed]Author: Nick Stoughton 1. Null Pointer Issues The POSIX committee notes the current definition of "null pointer" Add to Reading List Source URL: www.open-std.org Language: English - Date: 2007-09-07 10:25:56 C POSIX library Threads Errno.h C programming language Application programming interfaces C Pointer POSIX Threads Thread-local storage Computing Computer programming Software engineering
320	This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar Add to Reading List Source URL: www.ece.neu.edu Language: English - Date: 2012-10-07 15:19:25 Computer programming Constraint satisfaction Search algorithm Algorithm Mathematical optimization Local consistency Backtracking Greedy algorithm Control theory Constraint programming Mathematics Software engineering

UPDATE